-
1 programming language semantics
English-Russian electronics dictionary > programming language semantics
-
2 programming language semantics
The New English-Russian Dictionary of Radio-electronics > programming language semantics
-
3 semantics
-
4 semantics
вчт.- denotational semantics
- mathematical semantics
- non-standard semantics
- operational semantics
- procedural semantics
- programming language semantics
- reduction semantics
- semantics of application domain
- standard semanticsThe New English-Russian Dictionary of Radio-electronics > semantics
-
5 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
6 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
7 Semantics
There are people who maintain that there is no distinction between syntax and semantics, and there are others who lump the entire inference and "thought" component of an AI system under the label "semantics." Moreover, the philosophers, linguists, and programming language theorists have notions of semantics which are distinct from each other and from many of the notions of computational linguists and psychologists....First, let me set up two caricatures which I will call the Linguist and the Philosopher, without thereby asserting that all linguists fall into the first category or philosophers in the second. Both, however, represent strong traditions in their respective fields. The Linguist has the following view of semantics in linguistics: He is interested in characterizing the fact that the same sentence can sometimes mean different things, and some sentences mean nothing at all. He would like to find some notation in which to express the different things which a sentence can mean and some procedure for determining whether a sentence is "anomalous" (i.e., has no meanings). The Philosopher on the other hand is concerned with specifying the meaning of a formal notation rather than a natural language.... His notation is already unambiguous. What he is concerned with is determining when an expression in the notation is a "true" preposition (in some appropriate formal sense of truth) and when it is false.... Meaning for the Philosopher is not defined in terms of some other notation in which to represent different possible interpretations of a sentence, but he is interested in the conditions for truth of an already formal representation. (Woods, 1975, pp. 40-41)Historical dictionary of quotations in cognitive science > Semantics
-
8 language
1) языкв общем случае язык можно определить как множество предложений, каждое из которых состоит из конечной последовательности символов, принадлежащих конечному алфавиту (alphabet). Таким образом, язык задаётся алфавитом, грамматикой, синтаксисом и семантикой. Языки делятся на естественные (natural language) и искусственные (artificial language), среди которых большую долю составляют языки программирования (programming language)см. тж. algorithmic language, applicative language, assembly language, authoring language, class-based language, compiled language, context-free language, dataflow language, data manipulation language, declarative language, design language, formal language, graphics language, hardware language, high-level language, hybrid language, language construct, language definition, language design, language element, language extension, language implementation, language manual, language processor, low-level language, macro language, metalanguage, microprogramming language, modeling language, native language, nonprocedural language, OOL, parallel language, semantics, sentence, symbol, syntax2) языковыйАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language
-
9 language definition
спецификации (описание, определение) языка программированиясостит из трёх главных частей: синтаксиса (syntax), семантики (semantics) и прагматики (pragmatics).The only way to master formal methods of language definition is to practice writing and reading language specifications. (К. Slonneger) — Единственный способ освоения формальных методов описания языков программирования - это практическое составление и чтение спецификаций ЯВУ.
Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > language definition
-
10 семантика языка программирования
Русско-английский словарь по электронике > семантика языка программирования
-
11 семантика языка программирования
Русско-английский словарь по радиоэлектронике > семантика языка программирования
-
12 Strachey, Christopher
SUBJECT AREA: Electronics and information technology[br]b. 16 November 1916 Englandd. 18 May 1975 Oxford, England[br]English physicist and computer engineer who proposed time-sharing as a more efficient means of using a mainframe computer.[br]After education at Gresham's School, London, Strachey went to King's College, Cambridge, where he completed an MA. In 1937 he took up a post as a physicist at the Standard Telephone and Cable Company, then during the Second World War he was involved in radar research. In 1944 he became an assistant master at St Edmunds School, Canterbury, moving to Harrow School in 1948. Another change of career in 1951 saw him working as a Technical Officer with the National Research and Development Corporation, where he was involved in computer software and hardware design. From 1958 until 1962 he was an independent consultant in computer design, and during this time (1959) he realized that as mainframe computers were by then much faster than their human operators, their efficiency could be significantly increased by "time-sharing" the tasks of several operators in rapid succession. Strachey made many contributions to computer technology, being variously involved in the design of the Manchester University MkI, Elliot and Ferranti Pegasus computers. In 1962 he joined Cambridge University Mathematics Laboratory as a senior research fellow at Churchill College and helped to develop the programming language CPL. After a brief period as Visiting Lecturer at the Massachusetts Institute of Technology, he returned to the UK in 1966 as Reader in Computation and Fellow of Wolfeon College, Oxford, to establish a programming research group. He remained there until his death.[br]Principal Honours and DistinctionsDistinguished Fellow of the British Computer Society 1972.Bibliography1961, with M.R.Wilkes, "Some proposals for improving the efficiency of Algol 60", Communications of the ACM 4:488.1966, "Systems analysis and programming", Scientific American 25:112. 1976, with R.E.Milne, A Theory of Programming Language Semantics.Further ReadingJ.Alton, 1980, Catalogue of the Papers of C. Strachey 1916–1975.M.Campbell-Kelly, 1985, "Christopher Strachey 1916–1975. A biographical note", Annals of the History of Computing 7:19.M.R.Williams, 1985, A History of Computing Technology, London: Prentice-Hall.KF -
13 язык с четко определенным синтаксисом и семантикой
Универсальный русско-английский словарь > язык с четко определенным синтаксисом и семантикой
-
14 язык семантики действий
Programming: action semantics languageУниверсальный русско-английский словарь > язык семантики действий
-
15 CTS
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
16 Cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
17 cts
1) Компьютерная техника: Conformance Test System, Consolidated Tape System, cut-trough switching2) Авиация: control temperature sensor3) Военный термин: Cadet Training Ship, Change Tracking System, Chief, Technical Services, Common Targeting System, Communications Technology Satellite, Conflict Tactic Scales, Contact Test Set, central tactical system, central target simulator, central training section, command and telemetry system, communications test set, components test set, computerized training system, contractor technical support, cosmic top secret, courier transfer station, course training standard4) Техника: communications and tracking subsystem, communications and tracking system, communications technician, special devices operator, communications technological satellite, communications test station, compact tension specimen, component test system, concentrate transfer system, condensate transfer and storage, containment spray system, cryogenic temperature sensor, current technical specification, сертифицированный технический специалист5) Математика: Cross Table Sampling6) Бухгалтерия: Cash To Spend7) Автомобильный термин: coolant temperature sensor, charge temperature switch (Chrysler)8) Металлургия: Controlled Thermal Severity9) Телекоммуникации: Call Tracking System, сигнал "готов к передаче", Clear To Send (EIA-232-E), Common Transport Semantics (IBM)10) Сокращение: Casualty Transport Ship, Clear to Send (communications protocol signal), Common Termination System, Communications Training System, Compatible Timesharing System, Composite Training Squadron (USAF), Compulsive Travellers Syndrome, Computerized Tomography Scanner, Contingency Transfer System, Course Training Standards, Culler - Tiler - Singler, close to shoulder, count per second, Clear To Send (EIA RS-232-C), Carpal Tunnel Syndrome, complete timing set11) Университет: Career Technology Studies, Classroom Technology Services12) Физиология: Cardio Thoracic Surgery, Compulsive Traveller's Syndrome13) Вычислительная техника: Clear To Send, Clear To Send (EIA RS-232-C), Common Type System (OOP, CLR, MS,.NET, CLS), Conformance Testing Service (OSTC), Compatibility Test Suite (Sun, J2EE), Cipher Text Stealing (mode, Verschluesselung)14) Нефть: condensate to surface15) Иммунология: Clinical Technical Support16) Космонавтика: Communication Technology Satellite17) Транспорт: Cleveland Transit System, Commodity Transportation Survey18) Воздухоплавание: Contralateral Threshold Shift19) Фирменный знак: Carmichael Training Systems21) Деловая лексика: Certified Temporary Staffing, Combined Trading System, контейнерное судно, контейнеровоз (container ship)22) Образование: Critical Thinking Skills23) Сетевые технологии: Cluster Testing System, Component Transaction Server, communication terminal synchronous, сброс передатчика, синхронный коммуникационный терминал24) Полимеры: container-transport system, continuous-time service25) Химическое оружие: CTR Transportation Support, Contractor transportation support26) Расширение файла: Common Test Subroutines, Customer Telephone System, Permanent location contents (ABC programming language), Computer Telephony Solution (IBM)27) Электротехника: cable tyre sheath28) Станки: Охлаждение через шпиндель (Colant through spindle)29) Должность: Certified Technology Specialist, Certified Temporary Specialists, Certified Trauma Specialist30) NYSE. C T S Corporation31) НАСА: Commercial To Space32) Международная торговля: Corporate Translation Services -
18 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
См. также в других словарях:
Programming language specification — A programming language specification is an artifact that defines a programming language so that users and implementors can agree on what programs in that language mean.A programming language specification can take several forms, including the… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
Programming language for Computable Functions — The Programming language for Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott. It can be considered as a simplified version of… … Wikipedia
Concatenative programming language — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurr … Wikipedia
Python (programming language) — infobox programming language name = Python paradigm = multi paradigm: object oriented, imperative, functional year = 1991 designer = Guido van Rossum developer = Python Software Foundation latest release version = 2.6 latest release date =… … Wikipedia
TUTOR (programming language) — Infobox programming language name = TUTOR (aka PLATO Author Language) paradigm = imperative (procedural) year = c. 1965 designer = Paul Tenczar Richard Blomme [from page 4 of The TUTOR Language by Bruce Sherwood, 1974.] developer = Paul Tenczar… … Wikipedia
J (programming language) — Not to be confused with the J++ or J# programming languages. Infobox programming language name = J paradigm = array, functional, function level, tacit year = 1990 designer = Ken Iverson Roger Hui developer = JSoftware latest release version =… … Wikipedia
Eiffel (programming language) — Infobox programming language name = Eiffel paradigm = object oriented year = 1986 designer = Bertrand Meyer developer = Bertrand Meyer Eiffel Software latest release version = 4.2 latest release date = Feb 6, 1998 typing = static typing, strong… … Wikipedia
Oz (programming language) — Oz Paradigm(s) multi paradigm: logic, functional, imperative, object oriented, constraint, distributed, concurrent Appeared in 1991 Designed by Gert Smolka, his students Developer Mozart … Wikipedia
Indus programming language — Indus is an object oriented programming language for Ubiquitous computing. The primary components of the Indus platform are a programming language to implement software agents, libraries to provide services to agents on a distributed network, and … Wikipedia